A Swiss Pocket Knife for Computability

نویسنده

  • Neil D. Jones
چکیده

Citation for published version (APA): Jones, N. (2013). A swiss pocket knife for computability. In A. Banerjee, O. Danvy, K-G. Doh, & J. Hatcliff (Eds.), Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013 (pp. 1-17). Electronic Proceedings in Theoretical Computer Science, Vol.. 129, DOI: 10.4204/EPTCS.129.1

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Jackknife Hervé Abdi ⋅

The jackknife or “leave one out” procedure is a cross-validation technique first developed by Quenouille to estimate the bias of an estimator. John Tukey then expanded the use of the jackknife to include variance estimation and tailored the name of jackknife because like a jackknife—a pocket knife akin to a Swiss army knife and typically used by boy scouts—this technique can be used as a “quick...

متن کامل

Swiss-CHAT: Citizens Discuss Priorities for Swiss Health Insurance Coverage

Background As universal health coverage becomes the norm in many countries, it is important to determine public priorities regarding benefits to include in health insurance coverage. We report results of participation in a decision exercise among residents of Switzerland, a high-income country with a long history of universal health insurance and deliberative democracy.   Methods We adapted the...

متن کامل

ارزیابی کارایی ایمپلنت‌های دندانی plus Swiss با استفاده از معیارهای کلینیکی و رادیوگرافیک

  Introduction: Swiss plus dental implant is one of the many different implant systems that have been proposed recently. The aim of this study was to evaluate survival rate of Swiss plus dental implants and surrounding soft and hard tissue based clinical and radiographic parameters.   Materials & Methods: In a post perspective observational descriptive study, 106 patients (47 women and 59 men) ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013